(op.contramap(func) compose predToStr) == (predToStr compose op.contramap(func))